what distro does linus torvalds use